Return (extended version)