(if we use the abstraction, this becomes `return value`)