Utility Functions

This section describes various utility predicates.