Adding notes about algorithm implementation and counter-example