version 1.0: clauses until reduction.