non euclidean right angle