This is "Phase two" evaluation. - Verify correctness/execute - Consumed budget for CPU/Memory ExUnits