Archived tweet #8749 from the @leastfixedpoint Twitter Archive

@cr1901 @EyalL Absolutely! Not sure "correct" (beyond soundness) even exists. Many design options, interesting tradeoffs. Gd research opp'ty