What does `validate` look like as a one-time operation?

[gchronis]

How does it work? What assurance does it get us, if any? We need a function for this.