An argument against excessive consumption of coffee from 1674 — LessWrong