Scott Ralph proofs - lukeh