done with sales return entry spec: pre condition and post condition