Shorten the `value` function!