A bit more work on the introduction. Made a home for local reducibility.