reintroduced, but not yet using, LazyDefinition (formerly Definition)