Proof #18

Trades: