Stit theory (a logic of seeing-to-it-that) is applied to cases involving many agents. First treated are complex nestings of stits involving distinct agents. The discussion is driven by the logical impossibility of "a sees to it that b sees to it that Q" in the technical sense, even though that seems to make sense in everyday language, Of special utility are the concepts of "forced choice", of the creation of deontic states, and of probabilities, Second, joint agency, both plain and (...) strict (every participant is essential) is given a rigorous treatment. A central theorem is that strict joint agency is itself agentive. (shrink)