Closing remark (PGDL)