Punch Card Capital, L.P.