PROOF macro