PROPER CONSTRAINT