CTAn Update: logicpuzzle