start section on the simple modal language