Two sets named for this term are equal if second-order logic is unaffected by the transitive closure operation on relations. In a proof about the permanent of a matrix, Leslie Valiant formulated a set named for this term prepended with a sharp sign. Inductively constructing sets denoted “capital pi-sub-i” and “capital sigma-sub-i” using oracles produces a “hierarchy” named for this (-5[1])term. This term appears twice in the name of a class identified with the set of Turing machines “with advice” that has a slash in its name. Reductions with runtime described by this term identify “complete” problems such as SAT (“sat”). Whether a class named (10[1])for this term is equal to its non-deterministic counterpart (10[1])is the subject of a Millennium Prize problem. For 10 points, give this term that names the complexity class (10[1])P. ■END■ (0[1])