Modals theory

Make some notes.