Text this: The sequential functionals of type $(iota rightarrow iota)^n rightarrow iota$ form a dcpo for all $n in Bbb N$