theorem Actions.not_all_outcomes_feasible
theorem Actions.not_all_outcomes_feasible
: ∀ (agent : Agent) (o : Outcome) (s : State) (t : Time),
  (∀ (a : Action), ¬a.val results-in o.val) →
    (∀ (s : State) (t : Time), ¬o.val in-state s.val at-time t.val) → ¬OutcomeAchievableForAgent agent o s t