Note: Bad Proofs in Formal Verification | by Nattawat Songsom | Medium