P
Initializing...
State transformations are linear: $p\mapsto Zp$ · Prove2Me