Find out that nog_complete is not provable via itno_induct'.