import Axiom
import A.xnjbb0n8
import A.fab8hqgj

open Axiom

open xnjbb0n8
open fab8hqgj

namespace synj4w5s

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

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

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

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

end synj4w5s