Proof #16

Trades: