Historical Effective Population Size Definition