If kind membership is determined by origin and microstructure rather than descriptions, then D-satis...