Definition of Infra Ligeantiam Regis