Ha. I like Steve's version better though, since you can assume away all the environmental uncertainty leaving just indexical uncertainty (the distinction doesn't really exist but bear with me), and yet people still can't just go "LCPW!", because this version is both way less convenient and more probable. I bet it'd still annoy the hell out of a real philosopher, though.