theorem Actions.infeasible_actions_for_people_are_not_related_to_skill_issues
theorem Actions.infeasible_actions_for_people_are_not_related_to_skill_issues
(bridge : PersonsAreAgents)
: ∀ (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 (personAsAgent _fvar.1625 person) o s t