Proof #27

Trades: