$ans = 7 + all(1,3,16)