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