Yes On Prop ∞