E~F{p:v}
