removed check for empty clauses.