logical truth subgroup of truth, 1 assertions