Adds TODO for problem with theorem.