enforce either Obtainable or Destroyable for #1043