X's Complicated Verfication