Brief Announcement: Why Extension-Based Proofs Fail

PODC 2020