חלק מדרישה שקיבל גוף פיתוח כללה מימוש של אי השוויון y - (k+1)*x+3 > 0 כאשר k הוא קבוע כלשהו ו x, y הם משתנים. בפועל מומש אי השוויון כך: y - k * x + 3 > 0 נניח כי k=2 ונגדיר את הדומיין הפתוח להיות D1. איזו בחירה של נק' A, B ו C, על פי הקריטריון, תאפשר לנו לגלות את הטעות?