Comment by hughesjj

But how else would I power this machine that outputs theorems?