pikchr source for a diagram

gistfile1.txt

# https://twitter.com/hillelogram/status/1461103115260805123/photo/1
# https://pikchr.org/home/pikchrshow

linerad = 5px

B1: box "1"
B8: box "8"
B9: box "9"
B1_2: [ box; "1" color blue at last box ]
B2_2: [ box; "2" color blue at last box ]
B3: [ box; "3" color blue at last box ]
B4: [ box; "4" color blue at last box ]
B6: box "6"

arrow "before" "" "" \
  from 0.5 between B2_2.nw and B2_2.n \
  up 25% \
  then left until even with 0.5 between B1_2.nw and B1_2.n \
  then to 0.5 between B1_2.nw and B1_2.n

line \
  from B2_2.n \
  up 70%
"eventually"

arrow "after" "" "" \
  from 0.5 between B2_2.n and B2_2.ne \
  up 25% \
  then right until even with 0.5 between B3.ne and B3.n \
  then to 0.5 between B3.ne and B3.n

arrow "after after" \
  from 0.5 between B2_2.s and B2_2.se \
  down 25% \
  then right until even with 0.5 between B4.se and B4.s \
  then to 0.5 between B4.se and B4.s