P
Initializing...
Congruence formations yield regular-language formations · Prove2Me