Section 7.2: Consistency ()