I think you prefer the allenai Logging trait :)