Upgrade Proof to 0.0.21.
Notes on arity.