Completed through Iteration F4