Minor changes to into; adding newlines to problem statement (more Git-priendly, since it tracks changes on a per-line basis); added references.