Partial equational reasoning (first go)