How do you validate a reified trace of digital-object provenance? Is it even possible? This is syntactic validation. Values that should be strings are strings, dates are dates, lists are lists, you know the drill… Is it plausible? This is semantic validation.