Alice, Bob, Carol and David