Analysis up to constraints