Chapter 15. Congruence and Encompassing