Helper files for the lecture