The next line is automatically formatted with the Definition style.
The next line is automatically formatted with the Defined Term style.