We give a reformulation of the proof of a Theorem of Elek and Szabó establishing Lück’s determinant conjecture for sofic groups. It is based on traces on free group C∗C∗-algebras. We briefly discuss the relation with Atiyah’s problem on the integrality of L2L2-Betti numbers.