Our kids will stay, but our theorems will be forgotten -- F. Lehner 2020.