Conditional Indirect Proofs Amateur Logician