Comment by tkz1312

I only ship code I don't understand if it comes with a proof of correctness