pseudogeometry
not defined yet