under det uttryckliga vilkoret att b . exc.