A question about constraints