theorem Actions.infeasible_actions_for_people_are_not_related_to_skill_issues
theorem Actions.infeasible_actions_for_people_are_not_related_to_skill_issues
: ∀ (person : Person) (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) → ¬IsSkillIssueFor ⟨person.val, ⋯⟩ o s t