Under assumptions of PH not collapse to finite level, PH != PSPACE, PSPACE != EXP, PSPACE not in P^{MSCP}/poly, UGC, GI is not in BQP, factoring is not in P, and NC != P, proven that BPP is contained in ZPP^(NP^MSCP) by January 1, 2100

Created by JoshuaZ on 2015-09-27; known on 2100-01-01