The general form (for goats, geometry or lunch) is: Hypothesis if and only if conclusion. Because the statement is biconditional (conditional in both directions), we can also write it this way, which is the converse statement: Conclusion if and only if hypothesis.
