sentence1: Mayers showed that quantum binding is impossible ( computationally quantum ) : an unconditionally unlimited attacker can break any secure commitment protocol .
sentence2: Mayers showed that ( unconditionally secure ) quantum commitment is impossible : a computationally unlimited attacker can break any quantum commitment protocol .