Original: Bob then wishes to send message M to Alice.
Simplified: Bob wants to send message M to Alice.