more add/join refinements