Suatu kuantifier semua dapat diubah menjadi ada. Demikian sebaliknya. Salah satu caranya dapat dilihat dalam video ini.