The value of a is non-negative.

The absolute value of a is less than or equal to 5.