We kunnen het gebruik van noodzakelijke en voldoende voorwaarden vergelijken met de overvaart met een veerboot. De noodzakelijke voorwaarde stelt dat er ruimte op het schip beschikbaar moet zijn voor het te verladen voertuig, de voldoende voorwaarden regelen dat de overtocht betaald moet worden en de zodanig dat clausule geeft aparte tarieven: voor het voertuig, volwassenen en kinderen. Daarbij is ieder tarief nog nader te specificeren.

De zodanig dat clausule is in dit geval bovendien een handig hulpje om de gewenste diepte ontwatering te bepalen als oplossing van het wiskundige ¹randvoorwaarden probleem, voor steeds andere doelen.

Tevens is dit nuttig als niveau van abstractie, omdat het noodzakelijk is om één grondwaterspiegel h(x,y,t) te bepalen, gebaseerd op de fysisch-chemische aard van het probleem.

De gevonden { grondwaterspiegel / diepte ontwatering }, dient als specificatie voor de realisatie stap in het synthese proces.