Section 4.1

Basic Equivalences