Refine Module 4 into a problem-first workshop