rewrote a bit the F_p-bar section