If one of the loggers above missed the synchronization step above, but
we send a finalize() here, that's OK. It validates the log before
finalizing. Hence, even if it is not \"in sync\", it won't incorrectly
finalize.