pre-conditions function
pre-conditions function
creating post cond function validator
multiple post validators
refactoring