Thanks for the great comments.

Yes I agree that R1G1 imprinting dark ritual hurt quite a bit and he might have been able to resolve cruel reality.

Especially on the play I would keep Trinisphere. I usually do board out karn though as the most expensive wincon. I will usually trim a bit on dark ritual since they will force the first thing anyways.

I would usually +1 helm +1 Bridge +4 PE +vault -4 karn -1 Splendor -2 dark ritual

I Agree he could have played more patiently. Karn is just so slow, when you are cluttered with 5 drops karn is very bad.

Liliana the last hope is definitely a consideration. With the success of Hagra’s mauling I could also play Easy Prey or death pulse as 1 for 1 removal that has the upside of smoothing.