Correct. They've yet to trigger the purchase option, I believe, but they're expected to trigger it. I've gotten way too used to the Portuguese outlets reporting on him as if he's a permanent Sporting player.According to transfermarkt, he's still on City's books? Sporting apparently have an option to buy him, have they already done that or are they definitely going to?