minor changes to formatting in new equivalencies example