Will someone produce a backtested formula estimating the probability a Manifold binary market will cross a percent P?