In each of these examples, bluelines indicate verification of right angles by using the poles, and green lines indicate verification of acute angles by using the poles. (Recall that most other models of hyperbolic geometry are angle preserving. Thus, verification of angle measures is unnecessary in those models.)