ImOTab

the Dungeon
(5, -4, D)
  a dart of disjunction