rewrite default post condition (increment)
try to concentrate on most important post condition