Ted Cruz is a top Federalist. A real badass.