updated constraint examples