Implemented initial hypothesis and theorem autocomplete