This is the first mention of Alice
and here we mention Bob again