Petter comments on Sphere packing and logical uncertainty