slightly more sophisticated arithmetic example; |< is gone