New: tractability