hash function subgroup of function, 10 assertions