A direct approach to indirect proofs · Study