Routley and Meyer's relevant logic tradition denies that □¬p entails ¬◇p when modal operators are in...