[mikaelaast]

That’s very intriguing. I guess it would involve specifying a mental model in clear enough terms for it to be comparable to an already verified model, or something.