The return value for an operation m must be determined within the transition whose context is the message m, using the reply operation:
m/reply(7);