X = 1.
   true.
   X = 1.
   dif:dif(X,1).