@sophieschmieg It's like those people who found a way to have a distributed data structure that's consistent, available and partition tolerant.

Apparently the word "theorem" doesn't apply to them.