Added forall(...)
Added a reference to FGP in the doc