Freeze required behavior and boundary | Change software to satisfy a verified requirement | YAWN Economic Index