Funny; for me, the abstract version is exactly what I need. And the answer pops out almost immediately: B <= C or D <= A (Assuming A <= B and C <= D, for

Funny; for me, the abstract version is exactly what I need. And the answer pops out almost immediately: B <= C or D <= A (Assuming A <= B and C <= D, for which I may ask the interviewer about.)