How do you mathematically verify something like mens rea?