Instantiation extensions added