Refactoring to LetMany