Type Parameter Power Up Variance Bounds and Inference by Chris Phelps