The Conway Channel

package MutableNumber;
use Class::Contract;
contract {
    attr item => SCALAR;
    method 'decrement';
        pre { self->size > 0 };
        impl { ${self->item}-- };
        post { self->item == old->item - 1 };
    ...
}