Definition of EXTENSION