Support some stuff from PartialEquationalReasoning