Make lemmas readable by vampire