NoteBook's Poramet Theorem's lists