Re: infinity & set membership (fwd)