find [P: Property(X), Q: Boolean] {
    ((all x (P(x))) <-> Q) !=
    (all x (P(x) <-> Q))
}
