Write new version of np-completeness proof