proved_probable_2p