toilet(t1).
package(P) :- #int(P), P > 0.