theorem Actions.an_agents_infeasible_actions_are_not_related_to_skill_issues
theorem Actions.an_agents_infeasible_actions_are_not_related_to_skill_issues
: ∀ (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) → ¬IsSkillIssueFor agent o s t