Now using LocalHistory, LocalHistoryLogger and LocalHistoryReader (last not implemented).