import Axiom
import A.aqhg57sy
import A.t4tcmavf
import A.warhrjns
import A.wwqc19pp
import A.ydh9veyw

namespace hck6ayzn

def logic_is_actual : Prop := warhrjns.logic_is_actual

def bfo : Prop := warhrjns.bfo

def everyone_makes_mistakes : Prop := wwqc19pp.everyone_makes_mistakes

def i_am_a_person : Prop := aqhg57sy.i_am_a_person

def i_should_work_toward_correcting_my_mistakes : Prop := ydh9veyw.i_should_work_toward_correcting_my_mistakes

def i_lack_knowledge_and_understanding : Prop := ydh9veyw.i_lack_knowledge_and_understanding

def humanpower_is_a_network_capabili_a804v31w : Prop := t4tcmavf.humanpower_is_a_network_capability

def userAxiomsList : Axiom.Axioms :=
  [("logic_is_actual", logic_is_actual), ("bfo", bfo), ("everyone_makes_mistakes", everyone_makes_mistakes), ("i_am_a_person", i_am_a_person), ("i_should_work_toward_correcting_my_mistakes", i_should_work_toward_correcting_my_mistakes), ("i_lack_knowledge_and_understanding", i_lack_knowledge_and_understanding), ("humanpower_is_a_network_capabili_a804v31w", humanpower_is_a_network_capabili_a804v31w)]

axiom user_axioms_auth : Axiom.AuthenticatedTerm ("MetaBias", userAxiomsList, 1787165929)

def userAxioms : Axiom.UserAxioms "MetaBias" 1787165929 :=
  ⟨userAxiomsList, user_axioms_auth⟩

end hck6ayzn