The Human Proof Method