ADD: add todo in ProGuide