6.3 Finite and Nonfinite Clauses