predicate allnums using mapc