imperial unit subgroup of unit, 1 assertions