ip: Možná již není známo, že prof. Sokol byl svého času docela významným pracovníkem Výzkumného ústavu matematických strojů a přispěl nemálo k rozvoji výpočetní techniky v naší zemi. Právě od něj jsem očekával příspěvek k formalizaci "kecacích věd" a nedočkal jsem se.