Added example of proving rules.