Tag Results for P=NP (1)