put log lemma back in

accidentally deleted, changed notation to not use b