$ absent a b
> all a b
$ exists a b
