Update Hayek, update CaseStudy