@deepfates lol well that would also be optimistic in its own way given Yud's stature and GeoHot's prep w a bunch of accs who were trying to steelman Yud- that other ppl w more ability/willingness might get somewhere we've not yet explored