View source for Kymorph/Remaining transducer issues/п deletion and voicing conflict

== What needs to be done ==
Somehow, the voicing rule's environment needs to exclude the entire environment of the deletion rule.

=== How to do it ===
It might be possible with what's suggested in the twolc book on pp. 49-54.

=== How not to do it ===
* Simply subtracting the deletion rule's environment from the voicing rule's environment is impossible because _ cannot be contained in such subtractions.
* Subtracting the more restrictive rule's left (x) and right (y) environments from the more general rule's left (a) and right (b) environments (respectively, resulting in [ a - x ] _ [ b - y ]) doesn't work either, because then it fails to apply the more general [voicing] rule after e.g., any x environment, not just when any y follows.
* Using <= and => instead of <=> does not seem to be a possible solution.