Ideas for `.and_for_all` [WIP]