Explain `many` and `many1`.