Då detta arbete med en Btor enkelhetocb