theorem Actions.i_am_therefore_an_agent
theorem Actions.i_am_therefore_an_agent
(logic_is_actual : LogicIsActual)
(i_am_a_person : A (Person.Is MetaBias))
: A (Agent.Is MetaBias)