Definition of IMPLEMENTS