#pl #theory #crash-course