Prove macro