more explaination for constraint modeling