Statistics for Does default risk rule out covered interest arbitrage?