3. We want to design a counter that counts both up and down between the numbers 1 and 5. But this counter will be a saturating counter, i.e., if it's at 1 and is told to count down, it will stay at 1. If it's at 5 and it's told to count up, it will stay at 5. There will be two control signals: U (for up) and D (for down). If neither is asserted, then the count value stays where it is. If both are asserted, they cancel each other out and the count value stays where it is. (a) Capture this behavior in the form of a state diagram. Make sure to show the count value associated with each state.