Bob
knows: Alice