Once you introduce a system whose primary objective is to appear correct rather than to be correct, you create a validation problem harder than the original task.
You now have to reconstruct intent, check invariants, and detect mistakes and failures in an artefact generated to be plausible.
(18)