PROBCORE-404 Theorems are now saved as well.