Individualized treatment of foramen ovale and stroke.