Reduce:
*
Reduce
*
Overview
*
Non short-circuit variant of anyall