some additions to metatheory of splitting