introducing new and refactoring old logical connectives properties