I'd say that returning an negative should throw an `InvalidSpecificationException`