regular salt subgroup of salt, 1 assertions