§4.5.(c) Result translation

Returning a role object from a callin method implicitly lowers this object.