Comment by norvig

I use "Ali" and "Bo", because they are (a) gender-neutral, (b) less Western, and (c) prefixes of "Alice" and "Bob".