Logs for ultimapowers will show up here.