Disabled exchange of clauses: seems to be incorrect in some setting.