The epicenter of logic