Annotated pure methods
Improved Remove method
Added warning note to methods that might not return for infinite sequences