According to Herbstreit's logic