Part One - Modal Theory Essentials