Edited real analysis reader.