NonEuclideanSyntax