A formal approach to symptoms in dyspepsia.