If pump3 running and pump4 running are mutually exclusive then they could be different states in the same state machine