Figure 6. Substitution of equivalent relational expressions in program Alice0170c.
(!(userInputValue < 1)) = (userInputValue >= 1) (!(userInputValue > 3)) = (userInputValue <= 3)