Commit refinements with new `complement' function temporarily