
$F\notin U_p$
