Describir: Non-Euclidian Logic.