strong sense subgroup of sense, 2 assertions