Embedding Problem Solving by Complete Mathematics