He uses the term “Hayekian economics” to keep uniform with “Keynesian”, but still…
(bonus, check out his past segments)