I sistnämda fallet har man stal att antaga,