"a derived class should require no more and deliver no less than its base class"

Uh, very nice, I need to write that down, it's by far the most concise version of the principle I've heard!

Thank you