size inference: drop superceeded text