When transitive closure is added to second-order logic instead, we obtain PSPACE.
زمانی که متعدی بسته اضافه شده‌است به مرتبه دوم منطق به جای ما به دست آوردن PSPACE.