I managrammed @Jingliu 8000 mana to make a profit of around 2000 mana, but this was not in the context of a deal. Will Jingliu send me back at least 7000 mana?

General policy for my markets: In the rare event of a conflict between my resolution criteria and the agreed-upon common-sense spirit of the market, I may resolve it according to the market's spirit or N/A, probably after discussion.