challenge4-Spec-VC_take_lemma_1.why 4.19 KB