P
Initializing...
The eight iota rules of the menagerie hold in the ideal definitional equality · Prove2Me