Potato Garlic Halftime Soup

If, like me, you are ever watching a football game and then see a commercial for some sort of delicious creamy soup and you're like OH NO how can I eat something like that right now...
This soup is for you. Easy to prepare during halftime/commercial breaks.

Ingredients:
3-5 garlic cloves
2 tablespoons whipped butter
1/2 sprig of rosemary if available*
a few shakes of dried thyme
1 cup broth
1 cup milk
1 cup potato flakes (this makes it pretty thick, use less or more depending on desired thickness)
2 oz grated cheddar cheese
1 tsp lemon juice

*dried stuff is OK too; a sprig is just nicer because then you can pull it out after and not be left with branchy stuff in your soup.

Serves 1-2 people.

Chop garlic and start it simmering in butter with the rosemary sprig on very low heat. This way you can leave it until the next commercial.
On the next commercial, add your broth (or bullion and water if that's your fancy.)
On the following commercial, add flakes and then milk. Stir well. Adjust your thickness here with your flake to milk ratio if desired. Then add the grated cheese.
Let simmer, partially covered, until the next commercial break.
Add lemon juice & stir well/quickly so it doesn't interact badly with the milk.
Serve!