universal-quantifier public under quantifier 2 List Picture As a command Nothing is filed under universal-quantifier.