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