adding christoph's quasi-synchrony