The use of Geometric Logic as the foundation of a specification language called GeoZ is proposed elsewhere [4]. In this note we explore GeoZ from the perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.