(#4): Change code for MonoValue.