Software we teach (1)