probabilities-are-hard