conjectures operating off an axiom

heyyyy