Proof rules removed.