Definition of "instantiates"