_id,doi,title
6676,10.1145/3313276.3316407,Why extension-based proofs fail