Working on 41, with pre and post conditions