In this world, you'll encounter proofs that look right but might not be. Your job is to fill in the formal Lean steps — and to decide whether the informal proof you're reading is actually valid. Not all of them are.