benching presuppositions hassles redefines eigenvalues technologically semicircles updraught sold Kemerovo Sagan