should be replaced by

(a_http_authorization /= Void) implies a_http_authorization.is_valid_as_string_8