Brief Announcement: Why Extension-Based Proofs Fail