下列关于诉的分类的说法正确的有：

A．乙公司以甲公司严重违约为由，诉至法院，要求解除合同，解除合同的请求即形成之诉

B．乙公司以甲公司违约为由，诉至法院，要求甲公司继续履行，这是给付之诉

C．甲向法院起诉乙，要求返还借自己的1000元钱，乙向法院辩称自己根本没有和甲签订过借款合同，乙的主张是消极确认之诉

D．甲起诉乙建筑公司，要求乙马上停止施工降低噪音，这是形成之诉

X是最简单的有机化合物，可以发生如图所示的变化：

（1）根据题意推断X的化学式为______；

（2）写出图中①、②反应的化学方程式：①______；

②______．