put erdos.sage into examples