2. Juice Theorem