DESIGNA x VT NVLLVS
AETERNVM FAC {
  DESIGNA x VT x+I
  SI x EST X TVNC {
    ERVMPE
  }
}
DIC(x)