Introductory notes for ISL/PML