NOERRORS formal is NOW a VDECL. WAHOO