In what way is the formal amendment process an example of federalism at work?