template<class F, class... Args> concept predicate = regular_Âinvocable<F, Args...> && boolean-testable<invoke_result_t<F, Args...>>;