Implemented second version of binary clauses.