縮約規則, 弱化規則, 転置規則を制限することで、変数の使用を確実に一回のみに制限し、さらに変数の順序についての制限も導入