! A ? + ! B ?