Notes on Lindeman's Progressive Efficiency