KTU 1.6 (= СТА 6).III.l ff. and the So-Called Zeichenbeweis (Proof by a Token) - Dijkstra, M.