Lecture 01 - Introduction to the BETA ISA