The Generalized ABRACADBARA Theorem We extend the ABRACADABRA theorem to the setting with multiple terminators.