Values are now exported lazily.