“…Moreover, as shown in [8], Theorem 2.2, if A 1 , A 2 are two unital * -algebras, each A k endowed with two states (normalized, positive, linear functionals) ψ k , ϕ k (k = 1, 2), then there exist two unique states ψ, ϕ on A 1 * A 2 (free product of * -algebras with amalgamation over the unit) with respect to which A 1 and A 2 are c-free and ψ |A k = ψ k , ϕ |A k = ϕ k .…”