introduction/main.tex: Reword sentence about forward/inverse difficulty