reduction has proven useful in a wide range of problem domains and so this book will be