study of the trace formula.