question about constraint

Original text of this message