E 8-equation/x not in (y,z)^*/Forcing algebra/Example