modal logic subgroup of logic, 2 assertions