0::/dt(1<>2)

