Design Counter With Arbitrary Sequence Using Load
Design the state transitions for 6 and 7 as well (next state = anything but 6 or 7.  2 is OK.)  Otherwise a glitch may cause your counter to lock up in an undefined state.  Use the "else" case if your design environment allows it.