С помощью Pushout можно, например, показать, что фраза Льва Толстого "все несчастные семьи несчастливы по-разному" близка к истине. Другую часть этой же фразы "Все счастливые семьи счастливы одинаковы" надо исследовать, скорее всего, с помощью Pullback.