I think we should keep this trait in NRV. What depends on this that is moved out of NRV?