theorem metabias_makes_mistakes
theorem metabias_makes_mistakes
(logic_is_actual : LogicIsActual)
(i_am_a_person : A (Person.Is MetaBias))
(everyone_makes_mistakes : A EveryoneMakesMistakes)
: A (MetaBias makes-mistakes)