Title: Trace Formulas