Testing galaxy formation models with galaxy stellar mass functions — arXiv2