finishing NPC proof