>> That's the Oberon part.
>
> Some of that is true, but they do more checking than
> Oberon, and they can verify the bytecodes they ship around
> while Oberon could make no such guarantee about its binaries.
>
> Russ

i thought the problem was that they didn't reference other systems. i
don't think anyone claims their work is purely derivative.