Uzay istasyonunun fırlatma bölümünde Emek ve Tara, bir kargo kapsülünü kalkışa hazırladılar. Yükleme makinesi, izin verilen kargo kütlesi için iki formül gösteriyordu. Bir ekranda 5(c + 4) + 2c, diğerinde ise 4c + 3c + 20 gösteriliyordu; burada c, konteyner sayısını temsil ediyordu. Tara, dağılma özelliğini kullanarak ilk ifadeyi 5c + 20 + 2c şeklinde yeniden yazdı ve bu ifade 7c + 20 olarak sadeleşti. Emek ikinci ifadede benzer terimleri birleştirdi ve yine 7c + 20 elde etti. Sonuçların aynı olması, iki formülün eşdeğer olduğunu doğruladı. Fırlatma için 8 konteyner planlandığından 7(8) + 20 ifadesinin değerini hesapladılar ve izin verilen kütlenin 76 kilogram olduğunu buldular. Yüklenen kargo 73 kilogramdı, yani güvenli sınırın içindeydi. Emek yükü onayladı ve kapsül planlanan zamanda fırlatıldı.




