Tentative introduction of the permissive variable resolution system.