Proof by reflection