Try adding probabilistic tests again...