Check what you know about program logic!