added new constraint examples