DESIGNA x VT NVLLVS
DONICVM y VT NVLLVS VSQVE X FAC {
  DESIGNA x VT x + y
}
DIC(x)