Intro_to_Dz(HA)