Added universal quantification.