Let $A\subseteq \mathbb{F}_p$. Let $$A\hat{+}A = \{ a+b : a\neq b \in A\}.$$ Is it true that $$\lvert A\hat{+}A\rvert \geq \min(2\lvert A\rvert-3,p)?$$