Substitution_instance loading ...