paperP=NParXiv:cs/0406056AbstractWe claim to resolve the P=?NP problem via a formal argument for P=NP.