https://9dok.net/document/y6e1d9n4-hybrid-el-unification-is-np-complete.html