Ah, right, all other `Logger.*` calls aren't part of `Pure`. LGTM then.