9639606domain: NAppears in sequencesClosed simply-typed lambda terms with at most one free variable.at n=8A268224