runs to completion, need to work through a problem to verify correctness