Методы wait и notify + syncronized метод

У меня возник вопрос при рассмотрении кода из связанного вопроса про методы wait и notify (код полностью приведён в этом вопросе, так что дублировать его я не стала). Этот же код был взят из статьи "Методы wait(), notify() и notifyAll()", и вывод при запуске программе, как описано в этой статье, должен быть следующим:

Производитель добавил 1 товар
Товаров на складе: 1
Производитель добавил 1 товар
Товаров на складе: 2
Производитель добавил 1 товар
Товаров на складе: 3
Покупатель купил 1 товар
Товаров на складе: 2
Покупатель купил 1 товар
Товаров на складе: 1
Покупатель купил 1 товар
Товаров на складе: 0
Производитель добавил 1 товар
Товаров на складе: 1
Производитель добавил 1 товар
Товаров на складе: 2
Покупатель купил 1 товар
Товаров на складе: 1
Покупатель купил 1 товар
Товаров на складе: 0

Да и на практике, при запуске программы, я вижу такой вывод. Однако я не могу понять, почему при данном алгоритме получается такой результат.

Процитирую описание алгоритма из ответа на приведённый выше вопрос:

1. Поток А захватывает lock и входит в синхронизированный код.
2. Поток А вызывает wait, засыпает и освобождает lock.
3. Поток Б захватывает lock и входит в синхронизированный код.
4. Поток Б вызывает notify. Возможно (так как не известно какой поток будет разбужен) поток А просыпается становится в очередь на захват lock.
5. Поток Б освобождает lock и выходит из синхронизированного кода.
6. Поток А захватывает lock и продолжает со следующего после wait выражения.

Почему тогда, после того как "производитель добавил первый товар", или, иначе говоря, после того, как был вызван один раз метод put, метод get не вызывается сразу, а только после того, как в методе put будет вызван метод wait?.. Ведь получается, что поток Producer с помощью syncronized входит в синхронизированный код - захватывает монитор объекта Store. Метод wait на этом этапе не вызывается (так как product == 0), product инкрементируется и вызывается метод notify(). И поток Producer выходит из синхронизированного кода - освобождает монитор объекта Store. Получается, что сейчас вполне мог бы выполниться метод get потока Consumer - он должен был быть разбужен методом notify() и product уже равен 1. Однако продолжает выполняться поток Producer, пока у него не вызовется метод wait. Почему, что неверно в моих рассуждениях?