形成之訴是指原告請求法院運(yùn)用判決變動(dòng)已成立或既存的民事法律關(guān)系（或民事權(quán)益）或者特定的法律事實(shí)之訴。

下列對自認(rèn)分類的表述，正確的有（）。

崔洪與劉麗房屋買賣合同糾紛一案，經(jīng)區(qū)法院和市中級法院兩審終審，判決支持崔紅的訴訟請求，責(zé)令劉麗將房屋交付給崔某，并且為其辦理房屋過戶手續(xù)。崔洪向區(qū)法院申請執(zhí)行，在執(zhí)行程序中，劉輝提出該房屋系其與劉麗共同共有的，不同意賣給崔洪。區(qū)法院經(jīng)審查駁回劉輝的異議，劉輝認(rèn)為市中級法院的判決錯(cuò)誤損害其民事權(quán)益。關(guān)于本案的下列表述，哪些選項(xiàng)是不正確的？（）

民事訴訟法和刑事訴訟法都是程序法，他們的任務(wù)是相同的。(）

下列對第三人撤銷之訴裁判效力的表述，正確的是（）。