Der skal være en pyk definition af navnet på siden... [hello world →^{pyk} “hello world”] Nu bruger vi en base-page fra 22. juni, og en peano-page fra 22.juni...