new topos with 1e5 quant