Ivy encrypt messages

Here, you actually *need* `=>` for `@manager`...