How non Euclidean geometry is being used?