(your postulate 3 should have {Alice, Bob, Carol} where it currently has {Alice, Carol, Dave}
Right you are; edited.
Right you are; edited.