RIP Howard Tessler (1952 - 2017)