I think the latter is a more advanced form of the original. The first is just a statement. The 2nd assumes the statement to already be true, you're just examining the possibilities of how to manifest it's "trueness".. for lack of a better word.