Add Proof#equals().