might be a tad more readable (and maybe easier to optimize for processors) to use the `some ... in ... satisifies` expression instead of the `true() = for ... in ... return ...`