add library and equalities