Add more placeholder theorems.
Use new find'' function.