Lecture 15b- cog dev - Formal Reasoning, planning (from archive)