rigorous geometry