Necessarily, for any state of affairs s, if an agent a brings about s, then either s is an unrestric...