Hacon–Lamarche–Schwede subadditivity conjecture. Given effective Q{\mathbb Q}Q-divisors DDD and EEE on X{\mathscr X}X, one has