Leram - Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification: 6