zh:dot_arrow_theory