Geometry in Specs