((E and not C) implies D)