FNegation I_WB = NegationD2