Coinductive proof nets door L. Korte