Create pre-conditions and post-condtions