https://9dok.net/document/q2no3j5j-complexity-satisfiability-fragments-ctl-ctl.html