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