Suppose a user $\mathcal{A}$ wants to feed a certain smart contract $\mathcal{F}$ with some data $d$ that can be obtained from an oracle $\mathcal{O}$.