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