Так себе шуточка-загадочка

Лого какой компании могло бы выглядеть как ∀x:∃x?
Яндекса, конечно.