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