Yes, both of which are domains for which a verifier is readily available.

You can generalize from them to "science".