Algorithms
equate
apply
EqualityOrDiffMatcher