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