Ah, sorry. I think you're reading this with a much deeper understanding of mathematics than I. I'm really curious, though. Could you give me some insight int

Ah, sorry. I think you're reading this with a much deeper understanding of mathematics than I. I'm really curious, though. Could you give me some insight into how algorithms are proven correct?