VELLEMAN-proof techniques summary.pdf