Zeijlstra, H. Universal Quantifier PPIs . Proceedings of the AC 2013, 273-280.