¹⁶That there must be a bug was pointed out to me by Shimoyama Takeshi who compared different p.d. implementations. The bug is due to an incorrect test for embedded primes: A (superfluous) primary component may contain none of the isolated primary components, but their intersection! Note that neither [GTZ88] nor [BWK93] comment on that. Details of the implementation will appear in [Grä97].