Title: Lecture notes for Introduction to planning, Pl. 132