Logic progress