Cross trading proofs #2