Planning GdP-Lab6 (Proposition)