6.02

And thus we come to numbers: I define

x = Ω 0 ′ x Def. and

523