`manyAnd`, some refactoring