Using order to reason about negative numbers: the case of Violet