Use quantifier notation.