Connecting to the verified Agent and Safe boundary…