import Axiom
import A.xnjbb0n8
import A.tz77w5a8

open Axiom

open xnjbb0n8
open tz77w5a8

namespace myfbq5sn

def humanpower_is_a_network_capability : Prop := Axiom.Actual Humanpower
def proximity_fund_pod_thesis : Prop := ProximityFundPodThesis
def humanpower_index_thesis : Prop := HumanPowerIndexThesis

def userAxiomsList : Axiom.Axioms :=
  [("humanpower_is_a_network_capability", humanpower_is_a_network_capability), ("proximity_fund_pod_thesis", proximity_fund_pod_thesis), ("humanpower_index_thesis", humanpower_index_thesis)]

axiom user_axioms_auth : Axiom.AuthenticatedTerm ("hitchhiker2thefuture", userAxiomsList, 1786974898)

def userAxioms : Axiom.UserAxioms "hitchhiker2thefuture" 1786974898 :=
  ⟨userAxiomsList, user_axioms_auth⟩

end myfbq5sn