Title: Precedents, Variables, and Options in Planning