Proof: Call with Agent