Declaring that two rules must exist and should not both be enabled
This variant of incompatible causes an error if either of its arguments is not a rune, by calling active-or-non-runep instead of active-runep. See incompatible and see theory-invariant.
