Great to see this discussion here. Concerning "pretty much guaranteed to be incorrect" ... as it happens, SL (and infer) can be used to prove this too :) thou

Great to see this discussion here. Concerning "pretty much guaranteed to be incorrect" ... as it happens, SL (and infer) can be used to prove this too :) though that is more recent. https://dl.acm.org/doi/pdf/10.1145/3527325 https://dl.acm.org/doi/pdf/10.1145/3527325