Text this: Theorem Proving Modulo Based on Boolean Equational Procedures