Minor. Use getPropertyWithDefinition.