девственной чистоте геометрии. Стены были украшены тремя заключенными в рамочки изображениями усеченных конусов. Книжный шкаф, заполненный трудами по математике в золоченых переплетах, венчали две модели криволинейных поверхностей, выполненные из тонкой проволоки и нейзильбера. Наполовину раскрытый зонт в углу комнаты вполне мог сойти за еще одну модель. На столе, разделявшем Карра и Нормана, не было ничего, кроме пяти листков бумаги, испещренных символами. Худой и бледный палец Карра уперся в верхний лист.
   - Да, - сказал профессор, - подобные уравнения в символической логике допустимы и имеют смысл.
   Откровенно говоря, Норман в этом и не сомневался, однако был рад получить подтверждение из уст математика. Накануне он проглядел классическую работу Рассела и Уайтхеда, но не был уверен, что сумел ухватить суть.
   - Прописные буквы обозначают классы, а строчные - отношения между ними, - пояснил он. Карр потер подбородок.
   - Понятно, - пробормотал он. - Но какие именно классы и отношения?
   - Вы ведь можете проверить уравнения, не зная значения отдельных символов, которые их составляют? - спросил в ответ Норман.
   - Конечно, конечно. Результаты ничуть не изменятся от того, скрываются ли за символами яблоки, боевые корабли, поэтические идеи или знаки Зодиака. При условии, разумеется, что первичная связь между сущностью и символом установлена верно.
   - Вот что меня и интересует, - сказал Норман. - На первом листе семнадцать уравнений. Они как будто сильно отличаются друг от друга. Мне хотелось бы узнать, не присутствует ли во всех них одно простенькое уравненьице, которое попросту погребено под грудой всяких красивостей. То же самое и для других листов.
   - Гм-м... - Профессор Карр взялся за карандаш; взгляд его упорно возвращался к листку бумаги. - Должен признаться, ваши символы меня заинтриговали. Я как-то не думал, что символическая логика может