Rename some stuff, remove original nog_induct.