~ P -> Q ------> P \/ Q
~ P -> Q ------> P \/ Q

uwplse/verdi,uwplse/verdi-raft,DistributedComponents/verdi-chord,palmskog/verdi,DistributedComponents/verdi-chord,uwplse/verdi,DistributedComponents/verdi-chord,uwplse/verdi-raft,lolisa/verdi,uwplse/verdi-raft,DistributedComponents/verdi-chord,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,lolisa/verdi,guiquanz/verdi,uwplse/verdi-raft,palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-chord,palmskog/verdi,guiquanz/verdi,DistributedComponents/verdi-aggregation