минут 5 думал, что писать..остановился на мысли, что это тупо.

вспомнилось:

на матане осознал, что квантор существования пишется привычнее, чем буква Е.