Go to the previous, next section.
This section describes functions for testing whether various facts are true or false.