Error corrected: Missing certain clauses along the diagonal