What this is about: How do we prove the FirstIteration meets the FirstIterationRequirements?