Cognidia supports various kinds of Statements that you can use to organize your solution. In the previous section, you used equality_chain Statement which establishes equality of expressions through a sequence of steps. The other Statements you can use are

• iff_chain

• define

The iff_chain Statement maintains equivalence through a sequence of steps. The iff_chain Statement is typically used in solutions involving a series of transformations on equations.

The define Statement is used to introduce a definition, which can then be used in the rest of the solution.

The example below showcases the use of both iff_chain and define Statement as part of a complete solution.