straints probabilistically, i.e. the challenge is to incorporate constraints in a model that infers output distributions