I guess there's no reason to keep ExampleState around anymore