Detab, and align comments.
Detab, and align comments
State precondition in comment for now.
Explain old loop