add postcondition of sale