( ( ! . (!.(id.2π1.2π1,2π2)o,2π2.2π1)o )* . distl . (id,iota.#.id.2π1)o . id . id )* . distl . (id,iota.#.!.(id,0)o)o . id . id . id