P
Initializing...
On the `t`-chart, `t · X = x`. · Prove2Me