Perhaps we can restore insistence on canonical proofs here?