Histories are synchronized

Fixes #289.
I prefer when predicates has a name thas starts with `is_` or `has_`.  Here that would be `is_synchronized`.