The Postcondition

• Wait, we need to save the old value!

sub decrement {
    my ($self) = @_;
    my $old_item = $self->{item};

    ...

    die "item wasn't decremented"
        unless $self->item 
        = $old_item - 1;
}