renamed evidence -> constraints