Jacobi, Munger, and the Failure-Trace Principle