Utility functions for clauses.