Barca didn't make 25m fee from him, it was his salary in the meantime. We could say he played for free for a season and a half if we get 25m from PSG now (and it looks it will be 25 mil and nothing more). Will we even be able to register Gundo, Inigo and Oriol with that money?