1: \begin{proof}

2: %Follows from \cite{R16}. Roughly, first part of condition 4 allows us to argue that there exists a perfect assignment of top jobs in bottom schedule but this might violate precedence constraints. So we restrict each job to be scheduled within $[r_j,d_j]$ which decreases its neighbourhood in Hall's theorem slightly. Second part of condition 4 now allows us to bound how many jobs we have to discard here. We thus get a schedule of all jobs where precedences among top jobs might be violated. We then use the EDF algo here to fix this and lose a few more top jobs. Here we need conditions 2 and 1.

3: %

4: %\emphnote{need to verify this rigorously. continue reading from here}

5: %\end{proof}

6: