salt deduction subgroup of deduction, 1 assertions