Proof #23

Trades: