When people use it to prevent repeating the same mistakes.
History wouldn't keep repeating if they did so.
History wouldn't keep repeating if they did so.