⁸Read “evallhseqp” as “evaluate left-hand side of equations predicate”.