Figure 6: stop and return using a different connection than query_state