complete separation subgroup of separation, 1 assertions