documentation for the ANY operator