tighten the types of the examples
added all and exists examples