Code for exploring the implicative theory of algebraic identities.