Extracting tools for 4-stable, may take up to a minute ...