More clarifications to the instantiation use case