 And the claim that he traveled to the U.S. in 2022 is a false claim. It's an error in the bookkeeping of just one aspect of U.S. entry port bookkeeping. And what kind of a crime is it to go to the U.S.? I don't understand how traveling to Florida could be a crime. What does it mean?