unless you can describe the properties you care about and build a machine to automatically verify them, then its not clear what you're asking for or how it coul

unless you can describe the properties you care about and build a machine to automatically verify them, then its not clear what you're asking for or how it could possibly be solved.