तर, स्टेटमेंट S, व्हेरिएबल x एका स्टेटमेंटवर डिफाइन S दुसर् या स्टेटमेंट S1 वर थेट आहे जर त्या व्हेरिएबलची इंटरमीडिअट डेफिनिशन नसेल
তাহলে, যদি ভেরিয়েবেলের কোনো অন্তর্বর্তী ডেফিনেশন না থাকে তাহলে, একটা ভেরিয়েবল x যা একটা স্টেটমেন্ট, S-এ ডিফাইন হয়েছে, তা অন্য একটি স্টেটমেন্ট S1-এ লাইভ থাকে।