intro: s/length/size/ so it matches "Size inference"