Dmitri Tymoczko, Recasting K-nets

 

Table 1.