Proof rule with no premises.