P._Erdos loading ...