Changes some pre/post conditions