the basics of pre and post conditions for inheritance