[eru]

There are some domains, like Geometry, where trying enough random numbers is actually good enough for a certain kind of proof.