Clauses: finite and non-finite