fixed clause names and created implicit clauses