Bring Your Own Theorems