A(X):-Boxminus[3,7]A(X)
