Update theorems and models