1: \begin{abstract}

2: In this paper we formulate a conjecture which is a strengthening of an extension theorem of Bakonyi and Timotin for positive definite functions on the free group on two generators. We prove that this conjecture implies Connes' embedding conjecture. We prove a weak case of this extension conjecture.

3: 

4: \end{abstract}

5: