There is no proof for this, it is a verbal agreement most probably, similar to what Hazard had to Madrid.
And with release clause, I don’t have to negotiate with his team, I will pay his release clause so all terms to be agreed with the player and AM is out of the picture