probability constraint