 The side condition specifies that ‘\(A\)’ and ‘\(B\)’ be replaced with declarative sentences of English, and that both occurrences of ‘\(A\)’ (and likewise of ‘\(B\)’) be replaced by the same sentence or formula. 