#graphicalnotationforpda #toclectures