proof by… extrapolation?