1) The document presents a non-Euclidean model called the Poincare disk model, which represents hyperbolic geometry in the unit disk. 2) It then develops this model by defining lines called psi-lines that cut the unit disk at an angle psi. This creates a psi-model of hyperbolic geometry. 3) The document lists eight theorems that are valid in the special case of the zero-model, where lines are tangent to the unit disk. It states these theorems can be translated into Euclidean geometry theorems.