Translate ch4: did not pass. Change a title.
Fix the location of verify in ch7.