En operation lykkes hvis den efterlader programmet i en tilstand der opfylder postbetingelsen og klassens invariant
En operation siges at fejle hvis den ikke lykkes