Az, hogy az "előfeltétek teljesülése esetén eljut az utófeltételekhez" csak szükséges, de nem elégséges feltétele a jó megoldásnak.