lt(1,0).
lt(3,3).
lt(6,4).