Field init captured by Trace Formula