*oink*
10000
axiom 10000