Question about check constraint

Original text of this message