Explanation of non-euclidian math.