 Eventually, it is only a clever way to bypass the Liskov constraint by stating up-front that the post condition may or may not be valid.Alternately, could throw an exception (but depending on the language, this may also require that the original author of declare that it may throw an exception).This is a similar solution to the above, but is slightly more powerful.