Lukas_Gloor comments on Progress studies vs. longtermist EA: some differences