use `(n >= maxPasses) => (Prop v)`