Initiated Spheres.v, defining spheres by iterated suspension, and showing these are correct in low dimensions.