下列对自认分类的表述，正确的有（）。

崔洪与刘丽房屋买卖合同纠纷一案，经区法院和市中级法院两审终审，判决支持崔红的诉讼请求，责令刘丽将房屋交付给崔某，并且为其办理房屋过户手续。崔洪向区法院申请执行，在执行程序中，刘辉提出该房屋系其与刘丽共同共有的，不同意卖给崔洪。区法院经审查驳回刘辉的异议，刘辉认为市中级法院的判决错误损害其民事权益。关于本案的下列表述，哪些选项是不正确的？（）

刘某与王某钢琴所有权纠纷一案，经区法院审理后判决钢琴是刘某的，责令王某向刘某交付钢琴。双方未上诉。刘某向区法院申请执行，执行程序中，崔某提出钢琴是自己借给王某的，区法院经审查，裁定驳回崔某的异议。关于本案的下列表述，哪一选项是正确的？（）‍

检察院的调查核实权有（）。

形成之诉是指原告请求法院运用判决变动已成立或既存的民事法律关系（或民事权益）或者特定的法律事实之诉。

可以提起公益诉讼的机关有（）。

下列各项中，属于仲裁性质的有（）。

黄某诉李某交通事故损害赔偿纠纷一案，由M区法院受理。开庭审理前，法院书面告知了黄某合议庭组成人员，黄某未提出回避申请。开庭时，黄某得知人民陪审员刘某与被告李某系亲戚，遂提出回避申请。关于本案，下列说法哪一选项是正确的？（）

户籍在甲区的陈某与户籍在乙区的赵某签订了一份字画买卖合同，合同约定双方在丙区交付字画，并且约定，因本合同履行所发生的争议，由合同履行地法院管辖。合同签订后，陈某反悔未向赵某交付字画。赵某欲提起诉讼。关于本案管辖的说法，哪一选项是正确的？（）

陪审制度，是指审判机关吸收法官以外的公民参与案件审判活动的制度。