anonymous function subgroup of function, 3 assertions