Grad students do not solve problems such as the existence of non-sofic groups every day.