added erdos_no