[Python-ideas] Re: RFC: For Loop Invariants