i once saw someone suggest simulation, with a formal model. https://docs.google.com/document/d/154XE2Wx3Ojp7weqaHyrqN9U3...