Introduction to constraints