soft tofu subgroup of tofu, 3 assertions