Characteristic predicate Synched::Synched

Synched()