There'll be a margin of safety embedded, so even if it was 2:1 leverage they wouldnt give $80bn on the amount, it would be a small fraction of it, if it was 50%

There'll be a margin of safety embedded, so even if it was 2:1 leverage they wouldnt give $80bn on the amount, it would be a small fraction of it, if it was 50% (which is very high) that would be $40bn