Stable abstractions principle