Arbitrage_Probability_Correspondence.Arbitrage_Probability_Correspondence