So, the correct kind of variable will map to a correct type of constraints and the the not so desirable type of variable will map to a not so desirable type of constraints.
எனவே, சரியான வகையான மாறி சரியான வகை கட்டுப்பாடுகளுக்கு வரைபடமாக இருக்கும், மேலும் விரும்பத்தக்க வகை மாறி மிகவும் விரும்பத்தகாத வகை தடைகளுக்கு வரைபடமாக இருக்கும்.