Lindsley proofs