Peel and dice the potatoes and carrots (should make about the same amount each). Peel and dice the onion, peel the garlic. Put everything in the pot and cover with water. Add the grained stock and cook for about 20 minutes. Pour the water off to about 1 finger`s width from the bottom of the pot. Add butter, mash and season as needed. Serve immediately.