Finita la dimostrazione monadica!