RIP Leitner you’ll be missed or whatever