Stable with pre/post conditions and fixes