ij ( cx1 , cy1 , cz1 ) } ) /*init */ { ij ( x1 , y1 , z1 ) } /*state*/ { ikl ( x1 , y1 , z1 ) ( x2 , y2 , z2 ) } /*track*/ push { z ( i ) } /*store*/ react advan > /*ref state*/ ? 1 { ( dx ( i , j , k ) } { ( place ( cj , hj ) } ? 2 { ( fx , ( a , q ) } place { z ( q ) } /*store*/ intent advan > /*ref intent*/ ? ijk { ( dx ( i , j , k ) } { ( place ( cj , hj ) } ? x { ( fx , ( a , q ) } load { z ( i ) } /*store*/ exec ( move { ?