ReadLines is an Stream Extension method.