Those really aren't examples of libertarian ideology.