( + . (!.(id.
2
π
1
,mod.(
2
π
2
,
2
)
o
)
o
,
1
)
o
)* . distl . (id,iota.#.id)
o
. id . id . id