@domenic:

Indeed. I tried to stick to the semantics and style found within; however, I agree that this should be an instance of `Error`. I will update…