If the individual mandate is thrown out, should not the whole thing be thrown out since there is no severability clause?