HOPSFlow-Paper/notes/cycle_design.xopp