A GP is such that