a bit more structure to "Modal Logic" notes