piMC=: monad define "0
  4* y%~ +/ 1>: %: +/ *: <: +: (2,y) ?@$ 0
)