Now using global history. Closes #39.