alice <-- bob: Included