Time and enough clauses