~p \/ <<1>>F p