在静态的分析中，有太多的无法共存的东西，而一旦施加动态的框架，很多不可能定理就变成可能了。不过什么都可能本身也有它的麻烦。