y1: Бутылка мало. Две много. Три в самый раз.
y2: Аксиома!
y1: Постулат.
y3: Теорема. Требует доказательств!