theoriginalbit says to do it this way...

He'd better be right...