4 ms·Page 194: "Hey Buddy! Why don't you try to prove the correctness of this!" - LoLby paufernandez 16y agoPage 194: "Hey Buddy! Why don't you try to prove the correctness of this!" - LoL