Examples: renamed variables