P
Initializing...
Affine type events are invariant under scaling by units; · Prove2Me