making post condition