Title: Thirteen years of proof