พัฒนาของระบบหรือส่วนหนึ่งของระบบที่เปลี่ยนแปลงจากตัวแทนหนึ่งไปยังอีกเป็น mathematically พิสูจน์ หรือสาธิตเพื่อให้สอดคล้อง โดยอาร์กิวเมนต์ของมูลค่าเท่านั้น