Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Theorem 1.1. There exist a separable unital complex C^* -algebra A , admitting a normalized 2 -quasitrace, and positive contractions a,b∈A such that every normalized 2 -quasitrace τ on A satisfies τ(a+b)-τ(a)-τ(b)≥1 144 .