Checking Interactively-Developed Code (3/3) - Andriy Hnativ