בשפות תכנות רבות, בהן שפות ממשפחת ה-C, לפקודה יש ערך, ששייך לטיפוס המכיל איבר יחיד (void ב-C, unit בשפת
ML). אין דרך להשתמש בערכים כאלה. פונקציה, ולכן גם כל ביטוי הכולל פונקציה, עשוי לכלול תוצאת לוואי. ביטוי עם תוצאת לוואי בדרך כלל לא מאופיין בהתייחסות-שקופה (Referential Transparency). בשפות רבות (בהן שפת C) ביטויים העומדים בפני עצמם ואינם חלק מביצוע פקודה נקראים ביטויי-פקודה (Expression Statements). במקרה זה הייעוד היחיד של ביטוי כזה הוא השגת תוצאת-הלוואי שלו, והתוכנית תתעלם מהערך שלו.