write(X) :- 0 < X.