DEIB Logic