 This means, for example, that \(A \boxright (B\boxright (C\boxright D))\) is a wff, but \(A\boxright ((B\boxright C)\boxright D)\) is not, since the embedded counterfactual in the consequent does not have a Boolean proposition as an antecedent.