x = iota 7
op avg n = (+/n)/rho n
