Emlékeztetünk a specifikáció tételének megfelelő formában megadott – állapottér, paramétertér, elő- és utófeltételek – feladatokra. Példaként felírtuk két szám összegét:

Mi lesz ennek e feladatnak a kiterjesztése egy állapottérre? A válasz első pillantásra meglepő.

Általánosságban is igaz, hogy a feladat kiterjesztésének specifikációja, a kibővített állapottértől eltekintve, megegyezik az eredeti feladat specifikációjával.