P
Initializing...
The identity map has no attractors · Prove2Me