step 10 - Program State Requirements