Histories are synchronized

Fixes #289.
Same, `is_initialized`.