Add half of the milk, butter and salt to the hot cooked potatoes and mash using a potato masher. You can also use a fork, but it would involve a bit more work.