Add placeholder theorems.