exceptionful helper functions in preconditions library