Working with the Intermediate Value Theorem (IVT)