to do
typo
Basics on truth values and modal operators