7.5.16 Representing Contexts with Equations