P
Initializing...
Units are closed under composition · Prove2Me