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