P
Initializing...
Regular-language formations yield congruence formations · Prove2Me