TheOtherDave comments on Branches of rationality