dummy-proofs