necessary truth subgroup of truth, 2 assertions