Running on ```bib @article{ex, title = {Contextual Equality Saturation}, } ``` btac returned the following: ```bib ... author = {Drewery, Alexandre and Jensen, Thomas P. and Jensen, Thomas Wiben and Pichardie, David}, ... ``` It duplicated the author Thomas Jensen...