cut the running time in half by reordering conde clauses