[luckystarr]

Now make an algebra out of the CAP theorem. It's not already one, isn't it? Didn't read the paper.