Sen. Cruz is wrong about ObamaCare.