(comparison/not= 1 2)
(comparison/not= 1 1)
(comparison/not= 1)
(comparison/not= 1 2 x)