I happen to. You may want to use use a less universal quantifier.