https://simplemadesimple.com/quantifiers/