lecture:design_with_prototyping