[math] possible worlds of complexity theory