DESIGNA x VT VERITAS
DESIGNA y VT FALSITAS
SI x ET y TVNC {
  DIC(I)
} ALIVD SI x AVT y TVNC {
  DIC(II)
} ALIVD {
  DIC(III)
}