President Donald Trump’s lawyers filed two motions in the U.S. Court of Appeals for the Second Circuit on Tuesday morning attempting to avoid enforcement of a subpoena for the president’s tax returns in case they need to appeal to the U.S. Supreme Court.

One motion explicitly dealt with what will happen if the Second Circuit rules against Trump. In that case, the president’s lawyers wrote, they are seeking a stay of the court’s mandate and of the grand jury subpoena’s enforcement. That stay would last until Trump has filed a certiorari petition with the Supreme Court, according to the motion.