initial refactoring of algebraic law verification