23:51:01|3b|Shinmera: another argument in favor of treating arguments of IS the same, (is < (x a) (x b)), a and b are both calculated values, and i want to verify the constraint that they are ordered
23:52:42|3b|and also confusing what order to put them when using ordering predicates instead of equality
23:52:50|3b|(though could be i'm holding it wrong again :)
6:35:13Shinmera|3b|: In that case it should probably rather be (true (< (x a) (x b))