experimenting with re-ordering the clauses