instantiation [pl. instantiations]