true self subgroup of self, 6 assertions