Add definition of Return