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