Då det å priori var att antaga,