What a contract should say so the result of a purchase can be checked.