Functions 'product.ds' and 'isValid.ds' amended.