Modeling Probabilistic Design