hypothesis_geometry
