Небольшой сюжет про ещё одного героя айтишного палеозоя, Лесли Лэмпорта. Массам известен как разработчик LaTeX и лауреат премии Тьюринга. А в менее широких кругах известен как исследователь тех сфер математики, про которые большинство даже и не слышало. Темпоральная логика, распределённые системы, синхронизация процессов во взаимодействующих системах и так далее.