[EM] PC & Smith//PC, & GSFC & SDSC

[Markus Schulze]

Dear Mike,

you wrote (19 Nov 2000):
> Markus earlier asked for examples to show that Smith//PC
> fails GSFC & SDSC. When I checked, I found that the failure
> didn't happen as easily as I'd expected. My first tries at
> examples didn't succeed in making Smith//PC fail.
>
> Markus: Do you have a demonstration that Smith//PC passes
> GSFC & SDSC? What about PC?

I see no reason why PC or Smith//PC fails SDSC.

Markus Schulze