While I never sit down and write out a formal proof, I always think about it and always check the implementations of standard library functions that work on col

While I never sit down and write out a formal proof, I always think about it and always check the implementations of standard library functions that work on collections before using them. The real value of Bio-O isn't knowing how to prove that red-black trees have O(1) amortized insert but rather understanding the tools used and the code written better.