objective truth subgroup of truth, 3 assertions