This blog post will discuss about Eindhoven Quantifier Notation adopted by CodeQL