added fancy test case for modal connectives