
$F\in U_p$
