A 9th-grade geometry lesson exploring biconditional statements through the lens of geometric definitions. Students analyze conditional and converse statements, learn to identify when a statement can be written as a biconditional, and act as 'Definition Doctors' to repair and refine geometric definitions.