The iteration of logic