I don't think Carlos has ever bought any shares of IVAN or even owns any shares? But he probably got some through stock options.