Added reductive search which completes #39