Самое вкусное картофельное пюре « Дедушкино» =)

Рецепт очень понравился, но про морковь - достаточно ее при варке, или в итоге она толчется вместе с картошкой?