neighbours ( + a1 a0 ) = v [ v | 0 => [ a1 | 3 => 1] , 1 => [ a1 | (2,3) => 1] ]