Check this page out . Proofs seems to be solid.
I think dreamfx also trades on Liquidity inducement therom