misiles balísticos de manera completa, verificable e irreversible;