No, but really. Can Ted Cruz legitimately run? (citizenship)