The lede from the Tancredo retirement story posted below:

Rep. Tom Tancredo plans to leave the U.S. House of Representatives at the end of 2008, whether his longshot presidential bid is successful or not, the Rocky Mountain News reported.

If his longshot presidential bid is successful, he’d have to resign, right?