Displaying similar documents to “Extending traces to factorial traces.”