firm tofu subgroup of tofu, 2 assertions