working on modal logic