How Problems are Solved: Reconsidering the Phase Theorem