Do you boil potatoes before you mash them?