A(X):-Diamondminus[3,4]A(X)
