theorem Actions.feasible_outcomes_that_are_not_acted_on_is_skill_issue_for_people
theorem Actions.feasible_outcomes_that_are_not_acted_on_is_skill_issue_for_people
: ∀ (person : Person) (o : Outcome) (s : State) (t : Time) (a : Action) (p : Predisposition),
  person.val predisposed-toward p.val →
    p.val is-manifested-by a.val →
      a.val action-is-feasible-for-agent person.val in-state s.val →
        a.val results-in o.val → ¬OutcomeAchievedByAgent ⟨person.val, ⋯⟩ o s t → IsSkillIssueFor ⟨person.val, ⋯⟩ o s t