verified by pfgw and by LLR

To be completed...