EXBT (Existential_XBT) on Base