Logic intro commentary