Isn’t this where the Eiffel design by contract people speak up about code reuse?