VANILLA@AIR
¬c@¨@Y
Y@¨@¬c
¬c@¨@δk
δk@¨@¬c
Y@¨@¬c
δk@¨@¬c