Moved class
Nonnegative annotation