tailcalled comments on A small example of one-step hypotheticals