Джоржд Харт придумал для специализированного музея съедобную инсталляцию из определенного количества квадратных крекеров, позволяющую эмпирическим путем проверить верность ЕЕ. Назовите ЕЕ двумя словами.