fixed double negate bug, 3rd case of def reach works now