its kind of annoying to bold every occurrence of the word "aug"