Renamed to log_prob_geq, can compute log_prob_equal