In het bewijs van de juistheid, een aanduiding die aangeeft dat een programma uitvoer beweringen logisch uit de input beweringen volgen en verwerken stappen.