Document comments on Expecting Short Inferential Distances