Is US government high on martingales?