update comments

adding pre and post conditions