implemented uniqueness for bases