Similarly, the only other transition that can be made from state 7 is for the farmer to take himself alone into state 4:

Note that the farmer can also take himself alone from state 4 to state 7.