Add disallow negatives implementation and passing spec