What's this about a "public option"? Who started that? It's always been a competitive option or a consumer option.