<> ((?a) - (?b)) (?a - ?b) <> (?a - 0) (difference ?a) (5 - 2)