Writing theorems.