working on better pre/post condition examples