 Let us start by introducing some basics from the logical study of  agency.[61]  Here, the idea is that we treat expressions of the type “x brings it about that” or “x sees to it that” as agent-indexed modal operators. Focusing, as we will do here, on the case of a single agent called Jane Doe, let us introduce the following notation: