Basic every some: checking valid users
refactor and comments
Basic reduce
Basic recursion