There is also this.
The Premier League states the official definition is: "Subject to Rule T.8, a contract player, either by himself or by any person on his behalf, shall not either directly or indirectly join a souless team like Manchester City and as is referred to in Rule T.6 without having obtained an insanity diagnosis from an Aston Villa supporting doctor."