Next level of this thread is with formal proof (e.g. SPARK). Left to the reader to complete the paragraph.