TagsAffiliatione-mailActiveCollaborationJoint PapersImpossibilities in Succinct Arguments: Black-box Extraction and More