a repository for an AIIT lecture.