verified by pfgw and LLR

To be completed...