Logic-metropolis