I can prove theorems.