Two-Generated Algebras and Standard-Form Congruence